$\forall$$A$,$B$:es\_realizer\{i:l\}. R{-}discrete\_compat($A$; $B$) $\Rightarrow$ R{-}discrete\_compat($B$; $A$)